A modal logic $\varepsilon$-calculus.
نویسندگان
چکیده
منابع مشابه
Modal Calculus of Illocutionary Logic
The aim of illocutionary logic is to explain how context can affect the meaning of certain special kinds of performative utterances. Recall that performative utterances are understood as follows: a speaker performs the illocutionary act (e.g. act of assertion, of conjecture, of promise) with the illocutionary force (resp. assertion, conjecture, promise) named by an appropriate performative verb...
متن کامل1 Modal Logic Meets Situation Calculus
1 Where are the differences? In 1965, my calvinist high school class was invited for a social evening at the home of a catholic family in Den Haag. After all those textbooks on our doctrinal differences, and all our gossip about the much warmer (though of course less studious and less reliable) temperament of the other faith, every step in that house was an adventure. From the corner of my eyes...
متن کاملCalibrating Provability Logic: From Modal Logic to Reflection Calculus
Several interesting applications of provability logic in proof theory made use of a polymodal logic GLP due to Giorgi Japaridze. This system, although decidable, is not very easy to handle. In particular, it is not Kripke complete. It is complete w.r.t. neighborhood semantics, however this could only be established recently by rather complicated techniques [1]. In this talk we will advocate the...
متن کاملA Modal Sequent Calculus for Propositional Separation Logic
In this paper, we give a sequent calculus for separation logic. Unlike the logic of bunched implications, this calculus does not have a tree-shaped context – instead, we use labelled deduction to control when hypotheses can and cannot be used. We prove that cut-elimination holds for this calculus, and show that it is sound with respect to the provability semantics of separation logic.
متن کاملThe Situation Calculus: A Case for Modal Logic
The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calcul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1975
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093891609